Propositional Logic 4: Implication And Equivalence